$\forall$$r$:$\mathbb{Q}$. ($r$ {-} 0) = $r$